print( encodeJSON( getVersion() ) )
